Universal algebra - PDFSEARCH.IO - Document Search Engine

Universal algebra
Results: 475

#	Item
121	A Type System for Dynamic Web Documents Anders Sandholm and Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark {sandholm,mis}@brics.dk Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-03-10 07:34:12 Structure Universal algebra Mathematics Formal languages Model theory
122	www.mathportal.org Algebra Formulas 1. Set identities Definitions: I: Universal set Add to Reading List Source URL: www.mathportal.org Language: English - Date: 2015-03-16 19:33:00 Equations Trigonometry Complex number Nth root Quadratic equation Cubic function Number ISO 31-11 Pythagorean theorem Mathematics Elementary algebra Elementary mathematics
123	Belief change based on global minimisation James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:50:01 Structure Universal algebra Interpretation Symbol Metaphilosophy Orbifold Model theory Logic Mathematics
124	An Equational Approach to Secure Multi-party Computation∗ Daniele Micciancio† Stefano Tessaro‡ January 12, 2013 Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2013-09-26 16:14:53 Secure multi-party computation Computing Universal composability Communications protocol Verifiable secret sharing Boolean algebra Π-calculus Consensus Cryptographic protocols Data Information
125	Evaluation ER/Studio XE January 21, 2011 SECTION 8: MULTIPLE VIEWS OF THE SAME MODEL FOR DIFFERENT Add to Reading List Source URL: www.embarcadero.com Language: English - Date: 2013-01-19 01:44:08 Universal algebra L HTML element Data model Mathematical logic Model theory Substructure
126	Knowledge Compilation and Theory Approximation Henry Kautz and Bart Selman Presented by Kelvin Ku Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 18:11:39 Structure Universal algebra Horn clause Logic Mathematical logic Mathematics Model theory
127	Observability concepts in abstract data type specification, 30 years later? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-04-25 03:41:02 Abstract algebra Universal algebra Formal languages Boolean algebra Measure theory Sigma-algebra Structure Parity of a permutation Dual Mathematics Model theory Mathematical logic
128	The foundational legacy of ASL Donald Sannella1 and Andrzej Tarlecki2 1 Laboratory for Foundations of Computer Science, University of Edinburgh 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-11-17 11:50:58 Mathematical logic Measure theory Structure Universal algebra Sigma-algebra Elementary class Dual Parity of a permutation Mathematics Model theory Abstract algebra
129	ROTATION INVARIANCE IN ALGEBRAIC K-THEORY Contents 1. Overview 1.1. Introduction 1.2. Outline Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2014-11-21 17:09:23 Monoidal categories Functors Monoidal functor PRO Universal property Adjoint functors Initial and terminal objects Natural transformation Equivalence of categories Category theory Abstract algebra Algebra
130	Arity-Generic Datatype-Generic Programming Stephanie Weirich Chris Casinghino University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:01 Abstract algebra Universal algebra Functional languages Generic programming Structure Lambda calculus Map Haskell Operation Mathematics Software engineering Computing

UPDATE